cubical set
#Fleeting_Notes
cubical set(立法的集合)
単体的集合
(simplicial set)の
単体
を立方体なるものに変えたもの
Combinatorial homotopy theory
を見れば良さそう？
型理論方面のCubical setを追う場合
A Model of Type Theory in Cubical Sets
を見る？
確認用
Q. cubical set
関連
Cubical Type Theory
メモ
石川 剛郎
. トポロジー入門. 2014.
https://www.topo.hokudai.ac.jp/education/SpecialLecture/140411.pdf
Cubical set とその変種
【1701.08189】 Varieties of Cubical Sets
【1011.4870】 Comparison of Cubical and Simplicial Derived Functors
connection on a cubical set in nLab
Rigidification of cubical quasicategories
Algebraic & Geometric Topology Volume 24, issue 5 (2024)
調査用
Google.icon
立法的集合(日)
Google.icon
Cubical set(英)
Wikipedia.icon
立法的集合 - Wikipedia(日)
立法的集合(検索) - Wikipedia(日)
Wikipedia.icon
Cubical set - Wikipedia(英)
Cubical set(検索) - Wikipedia(英)